Dissertationes Mathematicae Universitatis Tartuensis Iteratively Defined Transfinite Trace Semantics and Program Slicing with Respect to Them
نویسنده
چکیده
منابع مشابه
Transfinite semantics in program slicing
This paper studies mathematically some special kinds of transfinite trace semantics and investigates program slicing w.r.t. these semantics. Several general facts about slicing, which hold for a wide class of programming languages and their transfinite semantics, are proven. The principal part of the work is done on control flow graphs keeping the treatment abstracted from any concrete programm...
متن کامل